Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
511	Partial-Coherence Abstractions for Relaxed Memory Models Michael Kuperstein Martin Vechev Eran Yahav ∗ Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-03-21 07:47:48 Mathematics Formal methods Formal languages Programming language semantics Memory barrier Abstract interpretation Operational semantics Abstraction Formal verification Theoretical computer science Logic in computer science Applied mathematics
512	Synthesis of Reactive Systems Jens Regenberg <> IV Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-23 06:27:20 Formal methods Büchi automaton Ω-automaton Linear temporal logic SIGNAL Powerset construction Automata theory Theoretical computer science Computer science
513	Morphology and Reranking for the Statistical Parsing of Spanish Brooke Cowan MIT CSAIL Abstract We present two methods for incorporating detailed features in a Spanish parser, Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2008-12-21 17:22:25 Corpus linguistics Statistical natural language processing Formal languages Treebank Part-of-speech tagging Parsing Parse tree Stochastic context-free grammar Statistical parsing Linguistics Natural language processing Computational linguistics
514	Satisfiability Modulo Recursive Programs Philippe Suter⋆ , Ali Sinan K¨oksal, and Viktor Kuncak ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland {firstname.lastname}@epfl.ch Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-06-13 20:10:28 Computability theory Formal methods Model theory Theory of computation Logic in computer science Satisfiability Modulo Theories Decision problem Function Satisfiability Theoretical computer science Mathematics Mathematical logic
515	AFM’07: Second Workshop on Automated Formal Methods November 6, 2007 Atlanta, Georgia John Rushby and Natarajan Shankar (Editors) SRI International Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2007-10-28 17:34:19 Information Database theory Database management systems Data model Entity-relationship model Database schema EXPRESS Integrity constraints Database design Data management Data modeling Data
516	Social Preferences and Fairness Norms as Informal Institutions: Experimental Evidence Pamela Jakiela∗ January 16, 2011 In many communities where the reach of government is limited, formal legal and political Add to Reading List Source URL: pamjakiela.com Language: English - Date: 2011-10-23 12:21:26 Evaluation methods Hypothesis testing Game theory Parametric statistics Dictator game Experimental economics Experiment Joseph Henrich Statistical power Statistics Science Design of experiments
517	Course: Satisfiability Modulo Theories (SMT): ideas and applications Send your assignment to: 1. Mark the following formulas as valid, satisfiable or unsatisfiable. a. p  q  p  q b. (p  Add to Reading List Source URL: leodemoura.github.io Language: English - Date: 2015-05-19 13:22:05 NP-complete problems Mathematical logic Electronic design automation Formal methods Logic in computer science Boolean satisfiability problem Resolution Satisfiability Modulo Theories If and only if Theoretical computer science Mathematics Logic
518	Synthesis for Regular Specifications over Unbounded Domains Jad Hamza∗, Barbara Jobstmann†, Viktor Kuncak‡ ∗ ENS Cachan, France † CNRS/Verimag, France, ‡ EPFL, Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-08-02 10:05:45 Mathematics Formal methods Nondeterministic finite automaton Linear temporal logic Finite-state machine Function Symbol Büchi automaton Automata theory Models of computation Theoretical computer science
519	Product Line Engineering Solutions for Systems and Software Engineer your product line portfolio as a single production system rather Add to Reading List Source URL: www.we-conect.com Language: English - Date: 2015-02-12 19:03:17 Information technology management Formal methods Product management Software engineering Product development Product family engineering Software development process Software product line IBM Rational Unified Process Software project management Business Technology
520	A Lightweight Code Analysis and its Role in Evaluation of a Dependability Case Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang, Daniel Jackson Computer Science and Artificial Intelligence Laboratory Massachusetts Insti Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-02-19 15:58:07 Systems engineering Formal methods Software requirements Quality Safety engineering Dependability Reliability engineering Problem frames approach Software development methodology Software development Software Science

UPDATE